Steiner's formula and a variational proof of the isoperimetric inequality

We give a new proof of the isoperimetric inequality in plane, based on Steiner's formula for area convex neighborhood. This establishes directly, without requiring that we separately establish existence an optimal domain. In doing so, this bypasses main difficulty all proofs Steiner outlined plane inequality.